/* shellfunctions.h */

#define RTC_SEC_REG	0x00
#define RTC_SEC_AL_REG	0x01
#define RTC_MIN_REG	0x02
#define RTC_MIN_AL_REG	0x03
#define RTC_HOUR_REG	0x04
#define RTC_HOUR_AL_REG	0x05
#define RTC_DAY_REG	0x07
#define	RTC_MONTH_REG	0x08
#define RTC_YEAR_REG	0x09
#define RTC_CENT_REG	0x32
#define CANT_IDS 9

/*Comandos del sistema*/


void cpu(void);
void cpu_type(int id);

int updateClock(char * buffer);
void clearBash(void);

/*	Uso de comando:
	setKeyboard  [tipo]
	setear teclado tipo US: 
		setKeyboard us 
	setear teclado tipo US: 
		setKeyboard la
*/
void changeKeyBoard(char* kb);

/*	Uso de comando:
	formats -c [color de caracteres]
	formats -b [color de fondo]
	Fondos soportados:
		black
		green
	Color de caracteres:
		blue
		white
*/
void formatScreen(char* buffer);
void noCommandRecognized(void);
void commandMalformed(void);
void printPrompt(void);
void exampleClock1(void);
void exampleClock2(void);
void exampleAlarm(void);

void incrementClock(void);
void printRCT(void);
int saveRTC(void);
void help(void);


/*Ejecuta un comando, si es que es v�lido*/
int processCommand(char *cmd);

